COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	cs258[f83,jmc]		List of lectures
C00003 ENDMK
C⊗;
cs258[f83,jmc]		List of lectures

Boyer and Moore theorem prover
(2 lectures)

Carolyn thesis (4)

blobs (1)

graphs (1)

Scottery (2)

Lambda calculus (1)

Floyd and Manna methods (2)

subgoal induction 1

data spaces 1

dynamic logic?, Hoare axioms?,

proofs about Prolog programs?

more on EKL 2

call by name, call-by-need, call-by-value

Goad 2

Manna or Waldinger ? 1

Jim Morris ?

C(F)
cs258[w82,jmc]		topics for cs258 for winter 1982
PROBLE.258[W79,JMC]	CS258←PROBLEM SET→WINTER 1979
NOTES.258[W79,JMC]	non-termination of certain functions